翻訳と辞書 Words near each other ・ Institutional Ethnography ・ Institutional failure ・ Institutional framework ・ Institutional Group Home 33 ・ Institutional Investor ・ Institutional investor ・ Institutional Investor (magazine) ・ Institutional Investor Advisory Services ・ Institutional Learning and Change Initiative ・ Institutional liberalism ・ Institutional Limited Partners Association ・ Institutional logic ・ Institutional memory ・ Institutional Missionary Baptist Conference of America ・ Institutional mode of representation ・ Institutional model theory ・ Institutional Network of the Universities from the Capitals of Europe ・ Institutional pedagogy ・ Institutional Protection Service ・ Institutional racism ・ Institutional Radio Choir ・ Institutional Renewal Party of National Action ・ Institutional repository ・ Institutional Republican Party ・ Institutional research ・ Institutional review board ・ Institutional Revolutionary Party ・ Institutional sclerosis ・ Institutional seats of the European Union ・ Institutional Security Cabinet Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Institutional model theory ： ウィキペディア英語版 Institutional model theory This page is about the concept in mathematical logic. For the concept in sociology, see Institutional logic . Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system. == Overview == The notion of "logical system" here is formalized as an institution. Institutions constitute a model-oriented meta-theory on logical systems similar to how the theory of rings and modules constitute a meta-theory for classical linear algebra. Another analogy can be made with universal algebra versus groups, rings, modules etc. By abstracting away from the realities of the actual conventional logics, it can be noticed that institution theory comes in fact closer to the realities of non-conventional logics. Institutional model theory analyzes and generalizes classical model-theoretic notions and results, like *Elementary diagrams *Elementary embeddings *Ultraproducts, Los' theorem *Saturated models *axiomatizability *Varieties, Birkhoff axiomatizability *Craig interpolation *Robinson consistency *Beth definability *Gödel's completeness theorem For each concept and theorem, the infrastructure and properties required are analyzed and formulated as conditions on institutions, thus providing a detailed insight on which properties of first-order logic they rely and how much they can be generalized to other logics. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Institutional model theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.